Antilemmas for Model Elimination

نویسنده

  • Ulf Dunker
چکیده

We introduce an optimization for model elimination (ME). An antilemma contains information about a failed search for a sub-proof. The application of antilemmas replaces unnecessary search attempts which can extremely improve the eeciency of the ME procedure. An-tilemma application works with other optimizations like lemmaizing and identical-ancestor pruning. We deene several reenements for the usage of lemmas and antilemmas and show how to learn a \good" proof search strategy.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comparative Approach to the Backward Elimination and for-ward Selection Methods in Modeling the Systematic Risk Based on the ARFIMA-FIGARCH Model

The present study aims to model systematic risk using financial and accounting variables. Accordingly, the data for 174 companies in Tehran Stock Exchange are extracted for the period of 2006 to 2016. First, the systematic risk index is estimated using the ARFIMA-FIGARCH model. Then, based on the research background, 35 affective financial and accounting variables are simultaneously used with t...

متن کامل

Transition in Iran’s Electricity Market Considering the Policies on Elimination of Electricity Subsidies: System Dynamics Application

Because of electricity subsidies, electricity price in Iran is much lower than its real value, and the growth of electricity demand is much more than its rational rate, which in turn implies ever increasing investment in the electricity section by the Government. Therefore, the recent Government policies are based on elimination of electricity subsidies, followed by commissioning complete elect...

متن کامل

a Simple Speed Control Technique and Pulsating Torque Elimination Method in a Brushless Dc Motor

This paper presents a theoretical derivation and computer simulation of an optimal speed controller for a brushless dc motor using feedback from a linear model running in parallel with the inverter-fed model. The intent of the feedback from the linear model is to eliminate torque ripples from the inverter drive. A nonlinear model of such a motor, transformed into a linear model by a local diphe...

متن کامل

Optimization of fluoride in water using alum with response surface methodology

Introduction: Fluoride counts an essential element for human health. Therefore, both low and excessive concentrations of that element in drinking water may cause health problems for the consumers. The present study aims to optimize fluoride base in drinking water using Alum response surface methodology. Methods: The present study is an analytical research which uses surface response method b...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007